Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
61	Internalization of the Groupoid Interpretation of Homotopy Type Theory Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS) Add to Reading List Source URL: mattam.org Language: English - Date: 2014-02-10 10:38:50 Homotopy theory Groupoid Equivalence relation Group action Path Homotopy Functor Adjoint functors 2-group Abstract algebra Topology Mathematics
62	Spaces of Incompressible Surfaces Allen Hatcher The homotopy type of the space of PL homeomorphisms of a Haken 3 manifold was computed in [H1], and with the subsequent proof of the Smale conjecture in [H2], the computati Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-06-11 14:52:31 Algebraic topology 3-manifolds Homeomorphisms Haken manifold Diffeomorphism Torus Mapping class group Fiber bundle Homotopy group Topology Homotopy theory Geometric topology
63	A 50 -Year View of Diffeomorphism Groups Allen Hatcher Question: For a smooth compact manifold M can one determine the homotopy type of its diffeomorphism group Diff(M) ? Why this is interesting: Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2012-05-07 08:19:51 Differential topology Algebraic topology Geometric topology Diffeomorphism Diff Cobordism H-cobordism Mapping class group Characteristic class Topology Surgery theory Abstract algebra
64	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
65	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
66	Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Abstract algebra Homotopy type theory Groupoid Homotopy Lambda calculus Path Fundamental group Function Hurewicz theorem Homotopy theory Topology Mathematics
67	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
68	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
69	Homotopy Type Theory and Univalent Foundations of Mathematics Steve Awodey Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Homotopy type theory Homotopy Mathematical logic Algebraic topology Homotopy group Homotopy theory Topology Mathematics
70	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory

UPDATE